Zu jedem (primalen) LP-Modell lässt sich auf systematische Weise ein duales LPModell konstruieren. Es lässt sich beweisen (Einschließungssatz), dass primales und duales Modell denselben optimalen Zielfunktionswert haben. Außerdem gibt es enge Beziehungen zwischen den jeweiligen optimalen Lösungen (z